Merge branch 'better-naming' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 19 Jun 2020 00:09:03 +0000 (00:09 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 19 Jun 2020 00:09:03 +0000 (00:09 +0000)
Stop using loaded terms

See merge request GNOME/gtk!2109


Trivial merge